361. Proofs from THE BOOK
پدیدآورنده: by Martin Aigner, Günter M. Ziegler.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Combinatorics.,Computer science.,Geometry.,Global analysis (Mathematics).,Mathematics.,Number theory.
362. QCA with R :
پدیدآورنده: Adrian Duşa.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Mathematical statistics-- Data processing.,R (Computer program language),Mathematical statistics-- Data processing.,MATHEMATICS-- Applied.,MATHEMATICS-- Probability & Statistics-- General.,Political science & theory.,R (Computer program language),Social research & statistics.
رده :
QA276
.
45
.
R3
363. Quality of Communication-Based Systems :
پدیدآورنده: edited by Günter Hommel.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Mathematics.,Software engineering.
رده :
QA76
.
9
.
A23
E358
1995
364. Quantitative measure for discrete event supervisory control /
پدیدآورنده: edited by Asok Ray, Vir V. Phoha, Shashi P. Phoha.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Discrete-time systems.,Supervisory control systems.,Discrete-time systems.,Informatique.,Supervisory control systems.,TECHNOLOGY & ENGINEERING-- Automation.,TECHNOLOGY & ENGINEERING-- Robotics.
رده :
TJ222
.
Q36
2005
365. Quantum foundations, probability and information /
پدیدآورنده: Andrei Khrennikov, Bourama Toni, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Mathematical physics.,Probabilities.,Quantum theory.,Mathematical Physics.,Mathematics.,Quantum Physics.,Mathematical physics.,Mathematics.,Quantum theory.,SCIENCE-- Energy.,SCIENCE-- Mechanics-- General.,SCIENCE-- Physics-- General.
رده :
QC174
.
17
.
P68
366. Quantum mechanics :
پدیدآورنده: Shabnam Siddiqui.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Quantum theory, Textbooks.,Quantum theory.,SCIENCE / Energy.,SCIENCE / Mechanics / General.,SCIENCE / Physics / General.,SCIENCE / Quantum Theory,TECHNOLOGY / Lasers
رده :
QC174
.
12
367. Quasidifferential Calculus
پدیدآورنده: edited by V. F. Demyanov, L. C. W. Dixon.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Mathematical optimization.,Mathematics.
368. Queues
پدیدآورنده: Moshe Haviv
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Queuing theory
رده :
T57
.
9
.
H38
2013
369. Radiation in Enclosures
پدیدآورنده: by Aristide Mbiock, Roman Weber.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Engineering mathematics.,Engineering.,Mathematical optimization.,Physics.
370. Rational Drug Design
پدیدآورنده: edited by Donald G. Truhlar, W. Jeffrey Howe, Anthony J. Hopfinger, Jeff Blaney, Richard A. Dammkoehler.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Mathematics.,Numerical analysis.
371. Reachability problems :
پدیدآورنده: Igor Potapov, Pierre-Alain Reynier (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science-- Mathematics, Congresses.,Computer systems-- Verification, Congresses.,Decidability (Mathematical logic), Congresses.,Logics and Meanings of Programs.,Math Applications in Computer Science.,Numeric Computing.,Probability and Statistics in Computer Science.,Computer programming / software development.,Computer science-- Mathematics.,Computer systems-- Verification.,Computers-- Data Processing.,Computers-- Mathematical & Statistical Software.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Decidability (Mathematical logic),Mathematical theory of computation.,Maths for computer scientists.
رده :
QA76
.
76
.
V47
372. Reaction kinetics :
پدیدآورنده: János Toth, Attila László Nagy, Dávid Papp.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Chemical kinetics-- Computer simulation.,Chemical kinetics-- Mathematical models.,Applications of Graph Theory and Complex Networks.,Math. Applications in Chemistry.,Mathematical Applications in the Physical Sciences.,Physical Chemistry.,Systems Biology.,Chemical kinetics-- Computer simulation.,Chemical kinetics-- Mathematical models.,Life sciences: general issues.,Mathematical modelling.,Mathematical physics.,Mathematics-- Applied.,Maths for scientists.,Physical chemistry.,Science-- Chemistry-- General.,Science-- Chemistry-- Physical & Theoretical.,Science-- Life Sciences-- General.,Science-- System Theory.
رده :
QD502
373. Reasoning web :
پدیدآورنده: Claudia d'Amato, Martin Theobald (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Semantic computing, Congresses.,Semantic Web, Congresses.,Artificial Intelligence.,Computer Appl. in Administrative Data Processing.,Data Mining and Knowledge Discovery.,Database Management.,Mathematical Logic and Formal Languages.,Artificial intelligence.,Computers-- Data Processing.,Computers-- Database Management-- Data Mining.,Computers-- Database Management-- General.,Computers-- Intelligence (AI) & Semantics.,Data mining.,Databases.,Mathematical theory of computation.,Mathematics-- Logic.,Public administration.,Semantic computing.,Semantic Web.
رده :
TK5105
.
88815
374. Relational and algebraic methods in computer science :
پدیدآورنده: Jules Desharnais, Walter Guttmann, Stef Joosten (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Algebraic logic, Congresses.,Computer science-- Mathematics, Congresses.,Relation algebras, Congresses.,Algebraic logic.,Artificial intelligence.,Computer programming-- software development.,Computer science-- Mathematics.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Relation algebras.
رده :
QA76
.
9
.
M35
375. Resampling Methods
پدیدآورنده: by Phillip I. Good.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Mathematical statistics.,Statistics.
376. Satisfiability problem
پدیدآورنده: / Dingzhu Du, Jun Gu, Panos M. Pardalos, editors
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Propositional calculus- Congresses,Decision making- Congresses,Computer algorithms- Congresses,Computer science- Congresses
رده :
QA9
.
3
.
S38
1997
377. Satisfiability problem :
پدیدآورنده: Dingzhu Du, Jun Gu, Panos M. Pardalos, editors
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer algorithms, Congresses,Computer science, Congresses,Decision making, Congresses,Propositional calculus, Congresses
رده :
QA9
.
3
.
S38
1997
378. Scientific Computing and Cultural Heritage :
پدیدآورنده: edited by Hans Georg Bock, Willi Jager, Michael J. Winckler.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Human-computer interaction -- Congresses.,Human-computer interaction.,REFERENCE -- Questions & Answers.
379. Scientific Computing with Mathematica®
پدیدآورنده: by Addolorata Marasco, Antonio Romano.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Differential Equations.,Engineering mathematics.,Mathematics.
380. Scientific applications of language methods
پدیدآورنده: edited by Carlos Martín-Vide.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Formal languages.,Natural language processing (Computer science)
رده :
QA267
.
3
.
M37
2011eb
